логический терм И

См. также в других словарях:

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …   Математическая энциклопедия

• Римское искусство* — Римляне, отличавшиеся большим практическим смыслом в решении задач материальной жизни, умевшие создать у себя стройный склад гражданственности, утвердить свою военную силу и широко распространить свое политическое могущество, были лишь в слабой… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Римское искусство — Римляне, отличавшиеся большим практическим смыслом в решении задач материальной жизни, умевшие создать у себя стройный склад гражданственности, утвердить свою военную силу и широко распространить свое политическое могущество, были лишь в слабой… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• КОМБИНАТОРНАЯ ЛОГИКА — см. Логика комбинаторная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970. КОМБИНАТОРНАЯ ЛОГИКА …   Философская энциклопедия

• ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать …   Современный философский словарь

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки …   Математическая энциклопедия

• Байт — У этого термина существуют и другие значения, см. Byte. Байт (англ. byte)  единица хранения и обработки цифровой информации; совокупность битов, обрабатываемая компьютером одномоментно. В современных вычислительных системах байт… …   Википедия

• Редукция (логика) — У этого термина существуют и другие значения, см. Редукция. Редукция (лат. reductio сведение, возведение, приведение обратно)  логический приём преобразования каких либо данных к более удобному с какой либо точки зрения виду; сведение… …   Википедия

• Список статей по логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия